Riesz MV-algebras and their logic
نویسندگان
چکیده
We develop the general theory of RMV-algebras, which are essentially unit intervals in Riesz spaces with strong unit. Since the variety of RMV-algebras is generated by [0, 1], we get an equational characterization of the real product on [0,1] interpreted as scalar multiplication.
منابع مشابه
Coauthors: E. Vinceková IDEALS IN MV PAIRS
The concept of an MV-algebra was introduced by Chang [4] as an algebraic basis for many-valued logic. It turned out that MV-algebras are a subclass of a more general class of effect algebras [7, 6]. Namely, MV-algebras are in one-to-one correspondence with lattice ordered effect algebras satisfying the Riesz decomposition property [2], the latter are called MV-effect algebras. In the study of c...
متن کاملElementary calculus in Riesz MV - algebras q
We introduce and study a topological structure over vectorial and Riesz MV-algebras, similar to metric spaces. Continuous functions with values in these spaces are studied and a fix point theorem is obtained. Moreover we introduce the concept of derivative and integral of MV-valued functions; i.e. functions with values in a Riesz MV-algebra. Finally we present two applications. 2003 Elsevier In...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملQuasicompact and Riesz unital endomorphisms of real Lipschitz algebras of complex-valued functions
We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...
متن کامل